Trigonometric functions

Results: 1877



#Item
91Model theory / Logic / Predicate logic / Quantification / Skolem normal form / Inverse trigonometric functions / Quantifier / Surjective function / Unification / Herbrandization / First-order logic

Skolemization, Most General Unifiers, First-Order Resolution Torsten Hahmann CSC 384, University of Toronto March 07, 2011

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2011-03-16 15:35:01
92Integral calculus / Trigonometry / Trigonometric substitution / Tangent half-angle substitution / Sine / Antiderivative / Inverse trigonometric functions / Integration by substitution / Trigonometric functions / Fresnel integral / Trigonometric integral / Pi

The Weierstrass substitution in REDUCE Neil Langmead Konrad-Zuse-Zentrum f¨ ur Informationstechnik (ZIB) Takustrasse 7 DBerlin Dahlem

Add to Reading List

Source URL: reduce-algebra.com

Language: English - Date: 2008-12-30 11:48:07
93Mathematical analysis / Computing / Mathematics / Analytic functions / Exponentials / Find / Trigonometric functions / Hyperbolic function / Q / Greatest common divisor / Exponentiation / Conditional

Jasymca - Symbolic Calculator for Mobile Devices Helmut Dersch March 7, 2006 Abstract Jasymca is a symbolic calculator written for mobile phones and PDAs.

Add to Reading List

Source URL: webuser.fh-furtwangen.de

Language: English - Date: 2006-03-07 09:32:05
94Geometry / Mathematics / Metric geometry / Space / Metric / Topology / Inverse trigonometric functions / Secondary measure / Spectral theory of ordinary differential equations

Mann iterates of directionally nonexpansive mappings in hyperbolic spaces Ulrich Kohlenbach 1

Add to Reading List

Source URL: www.mathematik.tu-darmstadt.de

Language: English - Date: 2012-11-12 10:33:13
95Algebra / Mathematics / Mathematical analysis / Matrix theory / Linear algebra / Complex analysis / Permanent / Permutations / Taylor series / Determinant / Matrix / Inverse trigonometric functions

COMPUTING THE PERMANENT OF (SOME) COMPLEX MATRICES Alexander Barvinok June 2014 Abstract. We present a deterministic algorithm, which, for any given 0 <  < 1

Add to Reading List

Source URL: www.math.lsa.umich.edu

Language: English
96Mathematics / Mathematical analysis / Algebra / Logarithms / Matrices / Positive-definite matrix / Convex function / Natural logarithm / Quadratic form / Inverse trigonometric functions / Beta distribution

CONVEXITY OF THE IMAGE OF A QUADRATIC MAP VIA THE RELATIVE ENTROPY DISTANCE Alexander Barvinok May 2013 Abstract. Let ψ : Rn −→ Rk be a map defined by k positive definite quadratic

Add to Reading List

Source URL: www.math.lsa.umich.edu

Language: English - Date: 2013-05-01 15:02:46
97Mathematics / Mathematical analysis / Number theory / Bernoulli number / Basel problem / Trigonometric functions / Gamma function / Polylogarithm / Wallis product / Bernoulli polynomials

BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 44, Number 4, October 2007, Pages 515–539 SArticle electronically published on June 26, 2007

Add to Reading List

Source URL: www.ams.org

Language: English - Date: 2010-01-14 11:35:39
98Geometry / Mathematics / Mathematical analysis / Rotational symmetry / Semiconductor device fabrication / Materials science / Analytic geometry / Orientation / Air bearing / Rotation / Cartesian coordinate system / Inverse trigonometric functions

XYZT Planar Platform ETEL S.A. Zone Industrielle CHMôtiers Switzerland

Add to Reading List

Source URL: www.etel.ch

Language: English - Date: 2016-04-20 07:42:07
99Recommender systems / Information science / Information retrieval / Statistics / Cosine similarity / MovieLens / GroupLens Research / Similarity measure / Trigonometric functions / K-nearest neighbors algorithm / Star

A Novel Bayesian Similarity Measure for Recommender

Add to Reading List

Source URL: www.luckymoon.me

Language: English - Date: 2014-07-18 09:35:52
100Mathematical analysis / Mathematics / Analysis / Analytic functions / Derivative / Differential calculus / Rates / Trigonometric functions / Differentiation rules / Function of a real variable

We Really Don’t Know How to Compute! Gerald Jay Sussman Massachusetts Institute of Technology CSAIL and EECS

Add to Reading List

Source URL: mcdonnell.mit.edu

Language: English - Date: 2015-06-17 01:07:25
UPDATE